Assertions Are Objects Too!
نویسندگان
چکیده
منابع مشابه
A Formal Model of Dynamic Identification of Correspondence Assertions for E-Commerce Data Integration
Data integration involves merging two or more schemas into a global schema based on the identification of common concepts, and also the set of different concepts that are mutually related by some semantic properties. Identifying semantic relationships that exist between a set of objects in one schema and a different set of objects in another schema is crucial to the integration process. Earlier...
متن کاملAn Evaluation of Specification-Derived Assertions
Assertions are a mechanism that can be used to enhance the effectiveness of software testing. Where software testing is concerned with verification of a program’s output, assertions provide a method for verifying the internal values of a program. When used properly, assertions can provide assurance that a program is correct. However, as far as we are aware, there has been little research into m...
متن کاملContext, Content, and Relativism∗
Here is a simple and inviting picture: the semantic values of sentences, relative to contexts, are sets of possible worlds. These are the truth conditions of assertions of those sentences in contexts. They are thus the contents of assertions, or the objects of attitudes we might take towards such contents. There have been many questions raised about the simple picture. For instance, sets of wor...
متن کاملThe evaluation of the consistency of quantified assertions.
Consistency is a hallmark of rationality, and this article reports three experiments examining how reasoners determine the consistency of quantified assertions about the properties of individuals-for example, All of the actors are waiters. The mental model theory postulates that reasoners determine consistency by trying to construct a model of all of the assertions in a set. As the theory predi...
متن کاملThe Loss Of the Knowing Subject In Contemporary Epistemology
I argue in this paper that the inability of contemporary American theories of knowledge to validate the central claim of realist epistemology-that some of our concepts refer to corresponding entities in the external world-is inextricably bound up with a failure to grasp the essential contribution of the knowing-self in the subject-object relation that constitutes knowledge. To be sure, much att...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 1996